<div class="doc-item" id="doc-733"><h2 class="doc-item-name">defadt<span class="namespace">(clojure.contrib.types)</span></h2><p class="macro">Macro</p><ul class="var-arglists"><li>(<span class="var-name">defadt</span> type-tag &amp; constructors)</li></ul><div class="var-docstring"><p>Define an algebraic data type name by an exhaustive list of constructors.
   Each constructor can be a symbol (argument-free constructor) or a
   list consisting of a tag symbol followed by the argument symbols.
   The data type tag must be a keyword.</p></div><div class="var-source"><pre>; clojure/contrib/types.clj:127
(defmacro defadt
  [type-tag &amp; constructors]
  (let [meta-map-symbol (gensym &quot;mm&quot;)]
    `(let [~meta-map-symbol {:type ~type-tag}]
       (derive ~type-tag ::adt)
       ~@(map (partial constructor-code meta-map-symbol) constructors)
       )))</pre></div><div class="license"><p>Copyright (c) Rich Hickey. All rights reserved.</p><p>The use and distribution terms for this software are covered by the <a href="http://opensource.org/licenses/eclipse-1.0.php">Eclipse Public License 1.0</a>, which can be found in the file
          epl-v10.html at the root of this distribution. By using this software
          in any fashion, you are agreeing to be bound by the terms of this
          license. You must not remove this notice, or any other, from this
          software.</p></div></div>